#include<stdio.h>

  int main()
 {
  int n,t;
  t=1;
  scanf("%d",&n);

  while  (n>=1 && n<=10)
  {
   t=t*n;
   n=n-1;
  }
printf("%d\n",t);

return 0;
 }
